Previous | 
Home
Section: New Results
CHOCO
Participants : Jean-Guillaume Fages, Narendra Jussien, Xavier Lorca, Charles Prud'Homme.
-
For second consecutive year, CHOCO has participated at the MiniZinc Challenge , an annual competition of constraint programming solvers. In concurrency with 16 other solvers, CHOCO has won three bronze medals in three out of four categories (Free search, Parallel search and Open class). Five versions have been released all year long, the last one (v3.3.0, Dec. 17th) has the particularity to be promoted on Maven Central Repository. The major modifications were related to a simplification of the API but also improvement of the overall solver.
-
Within the context of the PhD thesis of Charles Prud'homme [15] , a domain specific language that allows prototyping propagation engines was integrated within CHOCO , A paper appears at Constraints.
-
Within the context of the PhD thesis of Charles Prud'homme [15] , a generic strategy based on explanations for large neighborhood search was designed and integrated within CHOCO . A corresponding paper appears at Constraints [23] .
-
Within the context of the PhD thesis of Jean-Guillaume Fages, a documented package for graph variables was designed and integrated within CHOCO .